61![Darko Marinov Professor Department of Computer Science University of Illinois at Urbana-Champaign http://mir.cs.illinois.edu/marinov Darko Marinov Professor Department of Computer Science University of Illinois at Urbana-Champaign http://mir.cs.illinois.edu/marinov](https://www.pdfsearch.io/img/8db0ae723ea38a8d0ed3014099027a89.jpg) | Add to Reading ListSource URL: mir.cs.illinois.eduLanguage: English - Date: 2017-12-20 20:53:41
|
---|
62![Computer Science_BS_Information Systems.pdf Computer Science_BS_Information Systems.pdf](https://www.pdfsearch.io/img/cbb4662494a800e4f7f838d86d8d2cf2.jpg) | Add to Reading ListSource URL: catalog.southernct.eduLanguage: English - Date: 2018-10-06 18:04:21
|
---|
63![The Raymond and Beverly Sackler Faculty of Exact Sciences The Blavatnik School of Computer Science New Methods for Side Channel Cryptanalysis Thesis submitted in partial fulfilment of the requirements towards the M.Sc. The Raymond and Beverly Sackler Faculty of Exact Sciences The Blavatnik School of Computer Science New Methods for Side Channel Cryptanalysis Thesis submitted in partial fulfilment of the requirements towards the M.Sc.](https://www.pdfsearch.io/img/b98fa1ea7facdd69cdedbe805f534ba9.jpg) | Add to Reading ListSource URL: www.ofirweisse.comLanguage: English - Date: 2018-10-17 09:19:20
|
---|
64![Cost-Based Learning for Planning Srinivas Nedunuri and William R. Cook Douglas R. Smith Dept. of Computer Science, University of Texas at Austin Cost-Based Learning for Planning Srinivas Nedunuri and William R. Cook Douglas R. Smith Dept. of Computer Science, University of Texas at Austin](https://www.pdfsearch.io/img/2b2cf7761ff23adddeb5de22df151af0.jpg) | Add to Reading ListSource URL: www.kestrel.eduLanguage: English - Date: 2014-10-03 20:52:55
|
---|
65![Department of Computer Science EFFICIENT PROBABILISTIC PARAMETER SYNTHESIS FOR ADAPTIVE SYSTEMS Taolue Chen Department of Computer Science EFFICIENT PROBABILISTIC PARAMETER SYNTHESIS FOR ADAPTIVE SYSTEMS Taolue Chen](https://www.pdfsearch.io/img/75f1baa8cfb08b58433d0b195fc8e7c7.jpg) | Add to Reading ListSource URL: www.cs.ox.ac.ukLanguage: English - Date: 2015-10-05 08:24:58
|
---|
66![McGill University School of Computer Science Sable Research Group WebAssembly and JavaScript Challenge: Numerical program performance using McGill University School of Computer Science Sable Research Group WebAssembly and JavaScript Challenge: Numerical program performance using](https://www.pdfsearch.io/img/fa448244c2c1e657f918a909b92cb9b0.jpg) | Add to Reading ListSource URL: www.sable.mcgill.caLanguage: English - Date: 2018-03-15 14:14:31
|
---|
67![Chemical Reaction Network Designs for Asynchronous Logic Circuits∗ Luca Cardelli1,2 , Marta Kwiatkowska1 , and Max Whitby1 1 Department of Computer Science, University of Oxford Chemical Reaction Network Designs for Asynchronous Logic Circuits∗ Luca Cardelli1,2 , Marta Kwiatkowska1 , and Max Whitby1 1 Department of Computer Science, University of Oxford](https://www.pdfsearch.io/img/38d5f6a3c692fd278dec1dd7543cbcbc.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2016-06-17 04:03:10
|
---|
68![Program Synthesis for Forth Forth Day 2012 Computer Science UC Berkeley Program Synthesis for Forth Forth Day 2012 Computer Science UC Berkeley](https://www.pdfsearch.io/img/958ecbe4379ff30eb8d5e1a8d7190262.jpg) | Add to Reading ListSource URL: www.forth.orgLanguage: English - Date: 2012-11-30 12:06:23
|
---|
69![Verifying Team Formation Protocols with Probabilistic Model Checking? Taolue Chen, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, Verifying Team Formation Protocols with Probabilistic Model Checking? Taolue Chen, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Wolfson Building, Parks Road,](https://www.pdfsearch.io/img/acea8ad8206f59b9d92e3752f0059ca1.jpg) | Add to Reading ListSource URL: www.prismmodelchecker.orgLanguage: English - Date: 2012-05-10 09:21:45
|
---|
70![Checkable Proofs for First-Order Theorem Proving Giles Reger1 , Martin Suda2 1 School of Computer Science, University of Manchester, UK 2 TU Wien, Vienna, Austria Checkable Proofs for First-Order Theorem Proving Giles Reger1 , Martin Suda2 1 School of Computer Science, University of Manchester, UK 2 TU Wien, Vienna, Austria](https://www.pdfsearch.io/img/564a98119db0354b1fb4bfb220c6e38a.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-08-08 03:28:45
|
---|